#include <linux/init.h>
#include <linux/sched.h>
#include <linux/printk.h>
#include <linux/sched/task.h>
#include <linux/delay.h>

#include <msh/export.h>

#include <stdlib.h>

#include <linux/xarray.h>

static DEFINE_XARRAY_FLAGS(_xarray, 0);

static void xa(int argc, char **argv)
{
    xa_key_t key = 34;
    void *value;

    if (argc == 2)
    {
        key = atoi(argv[1]);
    }

    value = (void *)(0x12000000 | key);

    xa_store(&_xarray, key, value, 0);
}
MSH_CMD_EXPORT(xa, xarray test);
